1. An introduction to combinators and )Lambda(-calculus
المؤلف: Hindley, J. Roger
المکتبة: (طهران)
موضوع: ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56I5
2. Combinators, [lambda]-Terms and Proof Theory
المؤلف: by Sören Stenlund.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic.,Philosophy (General)
3. Foundations of mathematics :
المؤلف: Erwin Engeler
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع:
رده :
QA9
.
8
E795
2012
4. Introduction to combinators and ]lambda[-calculus
المؤلف: Hindley, J. Roger
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Combinatory logic,، Lambda calculus
رده :
QA
9
.
5
.
H56
1986
5. Lambda-calculus and combinators : an introduction
المؤلف: Hindley, J. Roger
المکتبة: (طهران)
موضوع: ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H56L3
6. Lambda-calculus and combinators, an introduction
المؤلف: Hindley, J. Roger.
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Lambda calculus,، Combinatory logic
رده :
QA
9
.
5
.
H565
2008
7. )Lambda(-calculus and computer science theory : proceedings of the symposium held in Rome, March 25-27, 1975
پدیدآورنده : IAC-CNR, Istituto per le applicazioni del calcolo Mauro Picone of the Consiglio nazionale delle ricerche ; edited by C. Bohm
موضوع : Congresses ، Combinatory logic,Congresses ، Programming languages )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
8. Lambda-calculus, combinators, and functional programming
المؤلف: Revesz, Gyorgy E.
المکتبة: (طهران)
موضوع: ، Lambda calculus,، Combinatory logic,، Functional programming languages
رده :
QA
9
.
5
.
R48
1988
9. Lambda-calculus, combinators, and functional programming
پدیدآورنده : G.E. Revesz
موضوع : Lambda calculus,Combinatory logic,Functional programming languages
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
10. Proofs and types
المؤلف: Girard, Jean-Yves
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Proof theory,، Type theory,، Lambda calculus,، Combinatory logic
رده :
QA
9
.
54
.
G572
1989
11. Rewriting techniques and applications :
المؤلف: N. Dershowitz, ed.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer algorithms-- Congresses.,Computer programming-- Congresses.,Rewriting systems (Computer science)-- Congresses.
رده :
QA267
.
I555
1989
12. λ-Calculus and Computer Science Theory :
المؤلف: edited by C. Böhm. B�ohm, C.,
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer Science,Computer science.,Logic, Symbolic and mathematical.
رده :
QA9
.
5
E358
1975
